x86: properly use map_domain_page() in miscellaneous places
authorJan Beulich <jbeulich@suse.com>
Wed, 23 Jan 2013 13:13:41 +0000 (14:13 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 23 Jan 2013 13:13:41 +0000 (14:13 +0100)
commitf697f2fc18f11c28cffc61f39025c3bfa92d376d
treee640615cef12e9e6c3400a2eabd570f19d4d078f
parentbcf557675d858e3b2e92788f5424ed4bfdac413d
x86: properly use map_domain_page() in miscellaneous places

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/domctl.c
xen/arch/x86/mm.c
xen/arch/x86/mm/shadow/common.c
xen/arch/x86/traps.c